derivation of cos(3x) with complex numbers